Linear Logic

On Trascendental syntax: a Kantian program for logic?

Proof Theory / Linear Logic / Philosophy of Logic / Transcendentalism

Jump from Parallel to Sequential Proofs: Multiplicatives

Linear Logic / Ludics (Computational Logic) / Proof nets

Jump from Parallel to Sequential Proofs: Exponentials

Linear Logic / Ludics (Computational Logic) / Proof nets / Game semantics / Strong Normalization

Jump from Parallel to Sequential Proofs: Additives

Linear Logic / Ludics (Computational Logic) / Event Structure / Proof nets

Towards a linear contract logic

Contracts / Linear Logic / Model Contracts

Jump from Parallel to Sequential Proofs : On Polarities and Sequentiality in Linear Logic.

Logic / Proof Theory / Linear Logic / Ludics (Computational Logic) / Proof nets

Towards a linear contract logic

Contracts / Linear Logic / Model Contracts

Scenario analysis based on linear logic

Linear Logic / Petri Net

A Linear-non-Linear Model for a Computational Call-by-Value Lambda Calculus (Extended Abstract)

Linear Logic / Lambda Calculus / Iron / Quantum Computer / Side Effect

A resource-sensitive logic of agency

Linear Logic / Agency

Linear Logic complements Classical Logic

Linear Logic / Classical Logic

Copyright © 2017 DATOSPDF Inc.